#	Lens Space (17,1) with left-handed twist
#
#	The entries in the generator matrix are
#
#		cos(2π/17) = 0.93247222940435580457
#		sin(2π/17) = 0.36124166618715294874
#
#	In principle we should be able to express these as elements
#	in a field Q[ξ], where ξ is a root of an irreducible polynomial,
#	but I don't immediately see how to do that.

  0.93247222940435580457 -0.36124166618715294874  0.00000000000000000000  0.00000000000000000000
  0.36124166618715294874  0.93247222940435580457  0.00000000000000000000  0.00000000000000000000
  0.00000000000000000000  0.00000000000000000000  0.93247222940435580457  0.36124166618715294874
  0.00000000000000000000  0.00000000000000000000 -0.36124166618715294874  0.93247222940435580457
